“명제 논리”으로 총 1건 검색

• 명제 논리, 命題論理, propositional calculus

  1차 술어 논리의 구문은 술어 심벌, 변수 심벌, 상수 심벌, 괄호, 쉼표 등을 알파벳으로 하여 구성되는 원자식(atomic formula)들을 ∧(and), ∨(or), →(implication) 등의 연결자로 연결하여 합법 구성식을 구성하고, 이 합법 구성식들을 허용 가능한 문장으로 하여 정의된다. 이러한 문장들의 진위 여부는 각...